1301. Proof and computation
پدیدآورنده: edited by Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
رده :
QA76
.
63
E358
1995
1302. Proof and computation
پدیدآورنده: edited by Helmut Schwichtenberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
P74
1303. Proof and system-reliability
پدیدآورنده: edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
1304. Proof technology and computation /
پدیدآورنده: edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
1305. Quantitative logic and soft computing vol 2
پدیدآورنده: ]edited by[ Bing-Yuan Cao, Shui-li Chen, Guo-jun Wang
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Soft computing -- Congresses.
رده :
QA
76
.
QU3
2010
1306. Quantum Information Science and Its Contributions to Mathematics
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Quantum logic -- Congresses,Quantum theory -- Congresses,کوانتوم -- کنگره‌ها
رده :
E-Book
,
1307. Quantum Mathematical Physics
پدیدآورنده: \ [edited by] Felix Finster...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Quantum logic -- Congresses.,Mathematical physics -- Congresses.,فیزیک ریاضی -- کنگره ها
رده :
E-Book
,
1308. Quantum information science and its contributions to mathematics : AMS Short Course, quantum computation and quantum information, January 3-4, 2009, Washington, DC
پدیدآورنده: Samuel J. Lomonaco, Jr., editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Quantum logic
رده :
QA
1
.
P69
Vol
.
68
1309. Quantum interactio
پدیدآورنده: / Dawei Song ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Artificial intelligence--Congresses,Quantum theory--Congresses,Computer science,Information theory,Computer software,Electronic data processing,Artificial intelligence,Theory of Computation,Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Mathematics of Computing,Computing Methodologies
رده :
Q
,
334
,.
Q25
,
2011
1310. Quantum interaction :
پدیدآورنده: Dawei Song [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Quantum theory, Congresses,Quantum computers-- Congresses,Quantum theory-- Congresses
رده :
Q334
.
Q25
2011
1311. Quantum structures and the nature of reality
پدیدآورنده: edited by Diederik Aerts and Jaroslaw Pykacz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Quantum logic -- Congresses.,Quantum logic.,Science -- Philosophy -- Congresses.
رده :
QC174
.
17
.
M35
E358
2011
1312. Reachability Problems
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer systems -- Verification -- Congresses,Decidability (Mathematical logic) --Congresses,Graph theory -- Data processing -- Congresses,گراف‌ها -- داده‌پردازی -- کنگره‌ها
رده :
E-Book
,
1313. Reachability problems :
پدیدآورنده: Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
1314. Reachability problems :
پدیدآورنده: Antonín Kučera, Igor Potapov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer systems-- Verification, Congresses.,Configurations, Congresses.,Decidability (Mathematical logic), Congresses.,Computer systems-- Verification.,Configurations.,Decidability (Mathematical logic),Erreichbarkeit.,Erreichbarkeitsmenge.,Zustandsgraph.,Brünn 2010, 7
رده :
QA76
.
76
.
V47
R58
2010
1315. Reachability problems
پدیدآورنده: Olivier Bournez, Igor Potapov, (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer systems-- Verification, Congresses,Configurations, Congresses,Decidability (Mathematical logic), Congresses
رده :
QA76
.
76
.
V47
R58
2009
1316. Reachability problems
پدیدآورنده: Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses,Computer systems-- Verification, Congresses,Decidability (Mathematical logic), Congresses
رده :
QA76
.
76
.
V47
R6
2012eb
1317. Reachability problems :
پدیدآورنده: Parosh Aziz Abdulla, Igor Potapov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Computer systems -- Verification -- Congresses.,Decidability (Mathematical logic) -- Congresses.
رده :
QA76
.
76
.
V47
P376
9999
1318. Reasoning web :
پدیدآورنده: Claudia d'Amato, Martin Theobald (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Semantic computing, Congresses.,Semantic Web, Congresses.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Data Mining and Knowledge Discovery.,Database Management.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,Semantic computing.,Semantic Web.
رده :
TK5105
.
88815
1319. Recent advances in constraints
پدیدآورنده: Javier Larrosa, Barry O'Sullivan (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Constraint programming (Computer science), Congresses,Constraints (Artificial intelligence), Congresses
رده :
Q340
.
J65
2011
1320. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
پدیدآورنده: Krzysztof R. Apt...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3010
